Remove tools/guest-headers; no longer needed.
authorKeir Fraser <keir.fraser@citrix.com>
Sat, 26 Jan 2008 15:26:15 +0000 (15:26 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Sat, 26 Jan 2008 15:26:15 +0000 (15:26 +0000)
commit64ab2aa0f8d5caecd0053e314ff66cdec8373934
tree25e29a7ac9541a3f605a2639429ca5f70ead2693
parente0db36bcdd1341c6434537c80d34e00d60bc4360
Remove tools/guest-headers; no longer needed.

Signed-off-by: Bastian Blank <waldi@debian.org>
tools/Makefile
tools/guest-headers/Makefile [deleted file]